Integration on surreal numbers

The thesis concerns the (class) structure No of Conway’s surreal numbers. The main concern is the behaviour on No of some of the classical functions of real analysis, and a definition of integral for such functions. In the main texts on No, most definitions and proofs are done by transfinite recursion and induction on the complexity of elements. In the thesis I consider a general scheme of definition for functions on No, generalising those for sum, product and exponential. If a function has such a definition, and can live in a Hardy field, and satisfies some auxiliary technical conditions, one can obtain in No a substantial analogue of real analysis for that function. One example is the signchange property, and this (applied to polynomials) gives an alternative treatment of the basic fact that No is real closed. I discuss the analogue for the exponential. Using these ideas one can define a generalisation of Riemann integration (the indefinite integral falling under the recursion scheme). The new integral is linear, monotone, and satisfies integration by parts. For some classical functions (e.g. polynomials) the integral yields the traditional formulae of analysis. There are, however, anomalies for the exponential function. But one can show that the logarithm, defined as the inverse of the exponential, is the integral of 1/x as usual. Acknowledgements I wish to express my gratitude to my supervisor Angus Macintyre for his constant support and assistance. Thanks to the examiners A. Maciocia and D. Richardson for their useful suggestions. Thanks also to my colleagues and my landlord for their willingness to tolerate my company. My gratitude goes to my family for their understanding and support. I wish to thank also the Engineering and Physical Sciences Research Council an